منابع مشابه
Realizing arithmetical formulæ
Correct (for the execution) program might be untypable : let stupid n =. if n=n+1 then 27 else trué Etienne Miquey Realizing arithmetical formulae Classical realizability Realizability game Zoology Gender equality Introduction Curry-Howard Correct (for the execution) program might be untypable : let stupid n =. if n=n+1 then 27 else trué Etienne Miquey Realizing arithmetical formulae Classical ...
متن کاملEnumeration Formulæ in Neutral Sets
We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They generalize formulae previously known for Sturmian sets or more generally for tree sets. We also give a geometric example of this class of sets, namely the natural cod...
متن کاملReasoning on Schemata of Formulæ
Mnacho Echenim, Nicolas Peltier. Reasoning on Schemata of Formulæ. Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. AISC 2012 Artificial Intelligence and Symbolic Computation (Part of CICM 2012), Jul 2012, Bremen, Germany. Springer, 7362, pp.310-325, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-31374-5 21>. <hal...
متن کاملMultipoint-to-multipoint network communication
Multi-user virtual environments are becoming popular in a number of areas. Complex virtual environments are becoming available, such as Massively Multiplayer Online Role Playing Games (MMORPG) (e.g., World of WarCraft and Travian) and social networks (e.g. Second Life). The number of participants in these environments can be hundreds, thousands or even tens of thousands of people. Within such a...
متن کاملMultipoint LDP In-Band Signaling for Point-to-Multipoint and Multipoint-to-Multipoint Label Switched Paths
Consider an IP multicast tree, constructed by Protocol Independent Multicast (PIM), that needs to pass through an MPLS domain in which Multipoint LDP (mLDP) point-to-multipoint and/or multipoint-tomultipoint Labels Switched Paths (LSPs) can be created. The part of the IP multicast tree that traverses the MPLS domain can be instantiated as a multipoint LSP. When a PIM Join message is received at...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Numerische Mathematik
سال: 1998
ISSN: 0029-599X,0945-3245
DOI: 10.1007/s002110050375